branch function true

[计] 转移函数真